Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
191	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)? Oleg Kiselyov1 , William E. Byrd2 , Daniel P. Friedman2 , and Chung-chieh Shan3 1 Add to Reading List Source URL: okmij.org Language: English - Date: 2008-01-22 19:40:33 Functions and mappings Function Prolog Constraint logic programming Unification Multiplication FO Constructible universe Mathematics Mathematical logic Logic programming
192	Tuning the Alt-Ergo SMT Solver for B Proof Obligations Sylvain Conchon1,2 and Mohamed Iguernelala3,1 1 2 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:09:54 Formal methods Logic in computer science Electronic design automation NP-complete problems Constraint programming Satisfiability Modulo Theories Automated theorem proving Solver Mathematical proof Theoretical computer science Mathematics Applied mathematics
193	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .2cm Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-19 09:47:40 Computing Constraint satisfaction problem Mathematical optimization Constraint satisfaction Constraint logic programming Constraint programming Software engineering Computer programming
194	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Formal methods Automated theorem proving Mathematical logic Constraint programming SPASS Isabelle Satisfiability Modulo Theories Mathematical proof Vampire Theoretical computer science Mathematics Applied mathematics
195	cKanren miniKanren with Constraints Claire E. Alvis, Jeremiah J. Willcock, Kyle M. Carter, William E. Byrd, Daniel P. Friedman {calvis, jewillco, kylcarte, webyrd, dfried}@cs.indiana.edu Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-11-05 13:18:14 Logic programming Formal methods Computer programming Lambda calculus Constraint logic programming Conditional Computing Software engineering
196	Programming with constraint solvers toward a shared infrastructure for code checking, angelic execution, debugging, and synthesis Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:27:02 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories AMPL X Window System Theoretical computer science Computing Software engineering
197	Enhancing Davis Putnam with Extended Binary Clause Reasoning Fahiem Bacchus Dept. Of Computer Science University Of Toronto Toronto, Ontario Canada, M5S 1A4 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-04-08 12:32:58 Mathematical logic Constraint programming Formal methods Logic in computer science Boolean algebra Boolean satisfiability problem Unit propagation Resolution Davis–Putnam algorithm Theoretical computer science Mathematics Automated theorem proving
198	Architectures for Cooperating Constraint Solvers Alan Borning This material is based upon work supported in part by the National Science Foundation under Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:14:21 Software engineering Constraint satisfaction Constraint logic programming Cassowary Satisfiability Modulo Theories Constraint graph Solver Prolog ECLiPSe Constraint programming Declarative programming Theoretical computer science
199	Exploring the Computational Tradeoff of more Reasoning and Less Searching Fahiem Bacchus Dept. Of Computer Science University Of Toronto Toronto, Ontario Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-05-15 13:05:48 Applied mathematics Formal methods Logic in computer science Constraint programming Boolean algebra Boolean satisfiability problem Resolution Unit propagation Clause Theoretical computer science Automated theorem proving Mathematics
200	5 CONSTRAINT SATISFACTION PROBLEMS In which we see how treating states as more than just little black boxes leads to the Add to Reading List Source URL: aima.cs.berkeley.edu Language: English - Date: 2002-11-14 11:02:01 Artificial intelligence Constraint satisfaction problem Local consistency Constraint satisfaction Local search Search algorithm Backtracking Mathematical optimization Constraint logic programming Constraint programming Software engineering Computer programming

UPDATE